body {
    margin: 0;
}

.content {
    margin-bottom: 10px;
    padding: 0 20px 10px 20px;
    border-bottom: 1px solid black;
}

.nav a {
    display: block;
    margin: 5px 0 5px 0;
}

table, pre, div > ul, div > ol {
    max-width: 100%;
    overflow-x: auto;
}

th, td {
    text-align: left;
    padding: 5px;
}

.pagination {
    padding: 5px;
    text-align: center;
}

.siteinfo {
    font-family: Arial, Helvetica, sans-serif;
    font-size: 14px;
    font-weight: bold;
    margin: 20px 0 20px 0;
}

.sitename {
    font-size: 32px;
}

@media (max-width: 799px) {
    .footer, .sitename, .tagline {
        display: none;
    }
}

@media (min-width: 800px) {
    .sidebar {
        position: fixed;
        top: 0;
        right: 0;
        width: 200px;
        overflow-x: hidden;
        overflow-y: auto;
        background-color: #fefefe;
    }

    body {
        margin-right: 200px;
    }
}
